Mokhov, Andrey: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

Build systems Ã la carte: Theory and practice

MOKHOV, ANDREY, MITCHELL, NEIL, PEYTON JONES, SIMON

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 3.01 MB

2020

2

Gold and silver in PGE–Cu–Ni and PGE ores of the Noril’sk deposits, Russia

Sluzhenikin, Sergey F., Mokhov, Andrey V.

Journal:

Mineralium Deposita

Year:

2015

Language:

english

File:

PDF, 13.77 MB

english, 2015

3

On hyperbolic laws of capacitor discharge through self-timed digital loads

Yakovlev, Alexandre, Kushnerov, Alexander, Mokhov, Andrey, Ramezani, Reza

Journal:

International Journal of Circuit Theory and Applications

Year:

2015

Language:

english

File:

PDF, 1.31 MB

english, 2015

4

[Society of Petroleum Engineers North Africa Technical Conference and Exhibition - Cairo, Egypt (2010-02-14)] North Africa Technical Conference and Exhibition - Research of Gas Separator with Disperser Influence of ESP Work and Increase of Well Operation Efficiency by the Use of ESP

Mokhov, Mikhail, Tsunevskiy, Andrey

Language:

english

File:

PDF, 551 KB

english

5

[Society of Petroleum Engineers North Africa Technical Conference and Exhibition - (2010.02.14-2010.02.17)] Proceedings of North Africa Technical Conference and Exhibition - Research of Gas Separator with Disperser Influence of ESP Work and Increase of Well Operation Efficiency by the Use of ESP

Mokhov, Mikhail, Tsunevskiy, Andrey

Year:

2010

Language:

english

File:

PDF, 551 KB

english, 2010

6

[Society of Petroleum Engineers SPE Annual Technical Conference and Exhibition - New Orleans, Louisiana (2009-10-04)] SPE Annual Technical Conference and Exhibition - Research of Gas Separator With Disperser Influence of ESP Work and Increase of Well Operation Efficiency by the Use of ESP

Mokhov, Mikhail, Tsunevskiy, Andrey

Language:

english

File:

PDF, 426 KB

english

7

[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - Non-recursive make considered harmful: build systems at scale

Mokhov, Andrey, Mitchell, Neil, Peyton Jones, Simon, Marlow, Simon

Year:

2016

Language:

english

File:

PDF, 194 KB

english, 2016

8

[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - Desugaring Haskell's do-notation into applicative operations

Marlow, Simon, Peyton Jones, Simon, Kmett, Edward, Mokhov, Andrey

Year:

2016

Language:

english

File:

PDF, 424 KB

english, 2016

9

[IEEE 2016 IEEE International Symposium on Circuits and Systems (ISCAS) - Montréal, QC, Canada (2016.5.22-2016.5.25)] 2016 IEEE International Symposium on Circuits and Systems (ISCAS) - MEMS-based power delivery control for bursty applications

Alrudainy, Haider, Mokhov, Andrey, Dahir, Nizar S., Yakovlev, Alex

Year:

2016

Language:

english

File:

PDF, 538 KB

english, 2016

10

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Design of safety critical systems by refinement

Iliasov, Alex, Alekseyev, Arseniy, Sokolov, Danil, Mokhov, Andrey

Year:

2014

Language:

english

File:

PDF, 291 KB

english, 2014

11

[ACM Press the 12th ACM SIGPLAN International Symposium - Berlin, Germany (2019.08.22-2019.08.23)] Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 - Formal verification of spacecraft control programs (experience report)

Mokhov, Andrey, Lukyanov, Georgy, Lechner, Jakob

Year:

2019

Language:

english

File:

PDF, 680 KB

english, 2019

12

Selective applicative functors

Mokhov, Andrey, Lukyanov, Georgy, Marlow, Simon, Dimino, Jeremie

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 437 KB

english, 2019

13

Design and Implementation of Reconfigurable Asynchronous Pipelines

de Gennaro, Alessandro, Sokolov, Danil, Mokhov, Andrey

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

2020

Language:

english

File:

PDF, 1.66 MB

english, 2020

14

Global warming mitigation by sulphur loading in the stratosphere: dependence of required emissions on allowable residual warming rate

Alexey V. Eliseev, Alexandr V. Chernokulsky, Andrey A. Karpenko, Igor I. Mokhov

Journal:

Theoretical and Applied Climatology

Year:

2010

Language:

english

File:

PDF, 841 KB

english, 2010

15

Concurrent Multiresource Arbiter: Design and Applications

Golubcovs, Stanislavs, Shang, Delong, Xia, Fei, Mokhov, Andrey, Yakovlev, Alex

Journal:

IEEE Transactions on Computers

Year:

2013

Language:

english

File:

PDF, 1.52 MB

english, 2013

16

[IEEE 2012 18th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Kgs. Lyngby, Denmark (2012.05.7-2012.05.9)] 2012 IEEE 18th International Symposium on Asynchronous Circuits and Systems - Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation

Mokhov, Andrey, Sokolov, Danil, Yakovlev, Alex

Year:

2012

Language:

english

File:

PDF, 327 KB

english, 2012

17

[IEEE 2013 IEEE 24th International Conference on Application-specific Systems, Architectures and Processors (ASAP) - Washington, DC, USA (2013.06.5-2013.06.7)] 2013 IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors - Design-for-adaptivity of microarchitectures

Rykunov, Maxim, Mokhov, Andrey, Sokolov, Danil, Yakovlev, Alex, Koelmans, Albert

Year:

2013

Language:

english

File:

PDF, 953 KB

english, 2013

18

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Formal modelling and transformations of processor instruction sets

Mokhov, Andrey, Sokolov, Danil, Rykunov, Maxim, Yakovlev, Alex

Year:

2011

Language:

english

File:

PDF, 494 KB

english, 2011

19

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - Algebra of Parameterised Graphs

Mokhov, Andrey, Khomenko, Victor, Alekseyev, Arseniy, Yakovlev, Alex

Year:

2012

Language:

english

File:

PDF, 441 KB

english, 2012

20

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Verification of conditional partial order graphs

Mokhov, Andrey, Yakovlev, Alex

Year:

2008

Language:

english

File:

PDF, 415 KB

english, 2008

21

[IEEE 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) - Berkeley, CA, USA (2007.03.12-2007.03.14)] 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) - Delay/Phase Regeneration Circuits

D'Alessandro, Crescenzo, Mokhov, Andrey, Bystrov, Alex, Yakovlev, Alex

Year:

2007

Language:

english

File:

PDF, 202 KB

english, 2007

22

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design

Mokhov, Andrey, Alekseyev, Arseniy, Yakovlev, Alex

Year:

2010

Language:

english

File:

PDF, 973 KB

english, 2010

23

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Flat Arbiters

Mokhov, Andrey, Khomenko, Victor, Yakovlev, Alex

Year:

2009

Language:

english

File:

PDF, 392 KB

english, 2009

24

[IEEE 2014 IEEE Faible Tension Faible Consommation (FTFC) - Monaco, Monaco (2014.5.4-2014.5.6)] 2014 IEEE Faible Tension Faible Consommation - Towards asynchronous power management

Sokolov, Danil, Mokhov, Andrey, Yakovlev, Alex, Lloyd, David

Year:

2014

Language:

english

File:

PDF, 741 KB

english, 2014

25

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Design of safety critical systems by refinement

Iliasov, Alex, Alekseyev, Arseniy, Sokolov, Danil, Mokhov, Andrey

Year:

2014

Language:

english

File:

PDF, 291 KB

english, 2014

26

[IEEE 2008 14th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Newcastle upon Tyne, United Kingdom (2008.04.7-2008.04.10)] 2008 14th IEEE International Symposium on Asynchronous Circuits and Systems - Automated Verification of Asynchronous Circuits Using Circuit Petri Nets

Poliakov, Ivan, Mokhov, Andrey, Rafiev, Ashur, Sokolov, Danil, Yakovlev, Alex

Year:

2008

Language:

english

File:

PDF, 547 KB

english, 2008

27

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - On Dual-Rail Control Logic for Enhanced Circuit Robustness

Mokhov, Andrey, Khomenko, Victor, Sokolov, Danil, Yakovlev, Alex

Year:

2012

File:

PDF, 829 KB

2012

28

[IEEE 2009 15th IEEE Symposium on Asynchronous Circuits and Systems (ASYNC) - Chapel Hill, NC, USA (2009.05.17-2009.05.20)] 2009 15th IEEE Symposium on Asynchronous Circuits and Systems - Modular Approach to Multi-resource Arbiter Design

Golubcovs, Stanislavs, Shang, Delong, Xia, Fei, Mokhov, Andrey, Yakovlev, Alex

Year:

2009

Language:

english

File:

PDF, 636 KB

english, 2009

29

[IEEE 2009 15th IEEE Symposium on Asynchronous Circuits and Systems (ASYNC) - Chapel Hill, NC, USA (2009.05.17-2009.05.20)] 2009 15th IEEE Symposium on Asynchronous Circuits and Systems - Synthesis of Multiple Rail Phase Encoding Circuits

Mokhov, Andrey, D'Alessandro, Crescenzo, Yakovlev, Alex

Year:

2009

Language:

english

File:

PDF, 974 KB

english, 2009

30

[IEEE 2013 IEEE Faible Tension Faible Consommation (FTFC) - Paris, France (2013.06.20-2013.06.21)] 2013 IEEE Faible Tension Faible Consommation - Towards reconfigurable processors for power-proportional computing

Mokhov, Andrey, Rykunov, Maxim, Sokolov, Danil, Yakovlev, Alex

Year:

2013

Language:

english

File:

PDF, 853 KB

english, 2013

31

[IEEE 2011 11th International Conference on Application of Concurrency to System Design (ACSD) - Newcastle Upon Tyne (2011.06.20-2011.06.24)] 2011 Eleventh International Conference on Application of Concurrency to System Design - Improved Parallel Composition of Labelled Petri Nets

Alekseyev, Arseniy, Khomenko, Victor, Mokhov, Andrey, Wist, Dominic, Yakovlev, Alex

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

32

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis

Mokhov, Andrey, Yakovlev, Alex

Year:

2008

Language:

english

File:

PDF, 417 KB

english, 2008

33

Synthesis of Processor Instruction Sets from High-Level ISA Specifications

Mokhov, Andrey, Iliasov, Alexei, Sokolov, Danil, Rykunov, Maxim, Yakovlev, Alex, Romanovsky, Alexander

Journal:

IEEE Transactions on Computers

Year:

2014

Language:

english

File:

PDF, 2.25 MB

english, 2014

34

[IEEE 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) - Palma de Mallorca, Spain (2014.9.29-2014.10.1)] 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) - A scalable physical model for Nano-Electro-Mechanical relays

Alrudainy, Haider, Mokhov, Andrey, Yakovlev, Alex

Year:

2014

Language:

english

File:

PDF, 1.40 MB

english, 2014

35

Study of Pyrochlore and Garnet-based Matrices for Actinide Wastes Produced by a Self-propagating High-temperature Synthesis

Yudintsev, Sergey V., Ioudintseva, Tatiana S., Mokhov, Andrey V., Nikonov, Boris S., Konovalov, Eduard E., Perevalov, Sergey A., Stefanovsky, Sergey V., Ptashkin, Alexander G., Glagovsky, Eduard M., K

Journal:

MRS Proceedings

Year:

2003

Language:

english

File:

PDF, 724 KB

english, 2003

36

Algebra of switching networks

Journal:

IET Computers & Digital Techniques

Year:

2015

Language:

english

File:

PDF, 262 KB

english, 2015

37

Algebra of Parameterised Graphs

Mokhov, Andrey, Khomenko, Victor

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 672 KB

english, 2014

38

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Conditional partial order graphs and dynamically reconfigurable control synthesis

Mokhov, Andrey, Yakovlev, Alex

Year:

2008

Language:

english

File:

PDF, 245 KB

english, 2008

39

Native gold from volcanic gases at Tolbachik 1975–76 and 2012–13 Fissure Eruptions, Kamchatka

Chaplygin, Ilya, Yudovskaya, Marina, Vergasova, Lidiya, Mokhov, Andrey

Journal:

Journal of Volcanology and Geothermal Research

Year:

2015

Language:

english

File:

PDF, 1.91 MB

english, 2015

40

[IEEE 2014 14th International Conference on Application of Concurrency to System Design - Tunis La Marsa, Tunisia (2014.6.23-2014.6.27)] 2014 14th International Conference on Application of Concurrency to System Design - Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn -- An Architecture-Open Resource-Driven Cross-Layer Modelling Framework

Rafiev, Ashur, Iliasov, Alexei, Romanovsky, Alexandre, Mokhov, Andrey, Xia, Fei, Yakovlev, Alex

Year:

2014

Language:

english

File:

PDF, 391 KB

english, 2014

41

[IEEE 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Mountain View, CA, USA (2015.5.4-2015.5.6)] 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems - Design and Verification of Speed-Independent Multiphase Buck Controller

Sokolov, Danil, Khomenko, Victor, Mokhov, Andrey, Yakovlev, Alex, Lloyd, David

Year:

2015

Language:

english

File:

PDF, 382 KB

english, 2015

42

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets

Gennaro, Alessandro de, Stankaitis, Paulius, Mokhov, Andrey

Year:

2015

Language:

english

File:

PDF, 545 KB

english, 2015

43

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Compositional design of asynchronous circuits from behavioural concepts

Beaumont, Jonathan, Mokhov, Andrey, Sokolov, Danil, Yakovlev, Alex

Year:

2015

Language:

english

File:

PDF, 418 KB

english, 2015

44

[IEEE 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Mountain View, CA, USA (2015.5.4-2015.5.6)] 2015 21st IEEE International Symposium on Asynchronous Circuits and Systems - Opportunistic Merge Element

Mokhov, Andrey, Khomenko, Victor, Sokolov, Danil, Yakovlev, Alex

Year:

2015

Language:

english

File:

PDF, 346 KB

english, 2015

45

[Society of Petroleum Engineers International Oil and Gas Conference and Exhibition in China - Beijing, China (2010-06-08)] International Oil and Gas Conference and Exhibition in China - Experimental Research of Work of Different ESP Stages on the Viscous Fluids

Mokhov, Mikhail, Tsunevskiy, Andrey

Language:

english

File:

PDF, 141 KB

english

46

[Society of Petroleum Engineers SPE Annual Technical Conference and Exhibition - Florence, Italy (2010-09-19)] SPE Annual Technical Conference and Exhibition - Experimental Research of Work of Different ESP Stages on Viscous Fluids

Mokhov, Mikhail Albertovich, Tsunevskiy, Andrey

Language:

english

File:

PDF, 141 KB

english

47

[Society of Petroleum Engineers International Oil and Gas Conference and Exhibition in China - (2010.06.8-2010.06.10)] Proceedings of International Oil and Gas Conference and Exhibition in China - Experimental Research of work of Different ESP Stages on the Viscous Fluids

Mokhov, Mikhail, Tsunevskiy, Andrey

Year:

2010

Language:

english

File:

PDF, 141 KB

english, 2010

48

[Society of Petroleum Engineers SPE EUROPEC/EAGE Annual Conference and Exhibition - (2010.06.14-2010.06.17)] Proceedings of SPE EUROPEC/EAGE Annual Conference and Exhibition - Experimental Research of Work of Different ESP Stages on the Viscous Fluids

Mokhov, Mikhail, Tsunevskiy, Andrey

Year:

2010

Language:

english

File:

PDF, 142 KB

english, 2010

49

[IEEE 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Lausanne, Switzerland (2017.3.27-2017.3.31)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 - Benefits of asynchronous control for analog electronics: Multiphase buck case study

Sokolov, Danil, Dubikhin, Vladimir, Khomenko, Victor, Lloyd, David, Mokhov, Andrey, Yakovlev, Alex

Year:

2017

Language:

english

File:

PDF, 430 KB

english, 2017

50

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

Anirban Bhattacharyya,Andrey Mokhov,Ken Pierce

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 2.08 MB

english, 2017